English Dictionary
◊ LOGICAL PROOF
logical proof
n : proof of a logical theorem [syn: {demonstration}]